Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
511	Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-07-08 18:07:14 Sheaf Mathematics Computing Concurrency control Linearizability Transaction processing
512	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
513	Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-01-25 10:53:17 Concurrency control Thunk Thread Non-blocking algorithm Glasgow Haskell Compiler Monitor Haskell Evaluation strategy Futures and promises Computing Software engineering Computer programming
514	Programmation Systèmes Cours 8 — IPC: File Locking Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot - Paris 7 Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:24 Data management Lock File descriptor System software Network file systems File system Share Record locking Fcntl.h Concurrency control File locking Computing
515	The URScript Programming Language Version 1.7 February 1, 2013 The information contained herein is the property of Universal Robots A/S and shall Add to Reading List Source URL: www.wmv-robotics.de Language: English - Date: 2015-01-11 06:44:41 Concurrency control Threads Scope Monitor Thread Parallel computing Global variable Critical section Variable Software engineering Computing Computer programming
516	READ-COPY UPDATE: USING EXECUTION HISTORY TO SOLVE CONCURRENCY PROBLEMS JOHN D. SLINGWINE 1825 NW 167th Pl. Beaverton, ORUSA 1 Add to Reading List Source URL: www.rdrop.com Language: English - Date: 2002-02-08 14:17:38 Software engineering Read-copy-update Lock Spinlock Thread Non-blocking algorithm Parallel computing Critical section Central processing unit Concurrency control Computing Computer programming
517	Programmation Système Cours 6 — File Locking Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-03-04 11:06:09 File system Computing Share Data management System software Fcntl.h File locking Concurrency control Lock
518	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
519	Effective Static Deadlock Detection Mayur Naik Intel Research Chang-Seo Park and Koushik Sen Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2009-04-03 16:44:05 Computer programming Software engineering Deadlock Lock Non-blocking algorithm Thread Reentrancy Parallel computing Concurrency control Computing Concurrency
520	MAINTAINING TRANSACTIONAL INTEGRITY IN LONG RUNNING WORKFLOW SERVICES: A POLICY-DRIVEN FRAMEWORK Thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2013-08-15 11:25:19 Data Workflow Business Process Execution Language Concurrency control Database Workflow technology Management Systems engineering

UPDATE